First-order dynamic logic
[计] 一阶动态逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
dynamic
[daɪ'næmɪk]
adj. 动态的;动力的，动力学的;充满活力的，精力充沛的;不断变化的，充满变数的;
n. 动态;动力，推动变化的力量;动力学;活力;
dynam =power,表示“力量” + ic ...的 → 有活力的;动力的
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
Stretch up...and we're going to go left first ...
伸展……先向左……
The president must have the approval of Congress to declare war.
总统若要宣战，必须获得国会的承认。
But if you go to the eastern provinces, or go to some country areas.
但是如果你到东部的一些省或到乡下的一些地区去的话。